Towards a Process Algebra for Shared Processors
نویسندگان
چکیده
منابع مشابه
Towards a Homotopy Theory of Process Algebra
This paper proves that labelled flows are expressive enough to contain all process algebras which are a standard model for concurrency. More precisely, we construct the space of execution paths and of higher dimensional homotopies between them for every process name of every process algebra with any synchronization algebra using a notion of labelled flow. This interpretation of process algebra ...
متن کاملShared Processors versus Shared Networks
The time semantics of abstract programming languages is presented. It is based on an assumption that communicating processes do not share processors but that they may share communication network. It means that executions of actions cannot be interrupted during computations but that processes can wait for free communication links. The presented semantics is compared with the semantics based on a...
متن کاملTowards Model Checking Stochastic Process Algebra
Abstract. Stochastic process algebras have been proven useful because they allow behaviour-oriented performance and reliability modelling. As opposed to traditional performance modelling techniques, the behaviouroriented style supports composition and abstraction in a natural way. However, analysis of stochastic process algebra models is state-oriented, because standard numerical analysis is ty...
متن کاملTowards an Homotopy Theory of Process Algebra
This paper proves that labelled flows are expressive enough to contain all process algebras which are a standard model for concurrency. More precisely, we construct the space of execution paths and of higher dimensional homotopies between them for every process name of every process algebra with any synchronization algebra using a notion of labelled flow. This interpretation of process algebra ...
متن کاملThread algebra for SANE Virtual Processors
This paper presents a formal approach to the verification and evaluation of a programming/machine model being developed at the University of Amsterdam, called the SANE Virtual Processor (SVP). The model is being used as a basis for designing and programming chip multiprocessors and to support self-adaptive computation. This model can provide solutions for effectively programming distributed mul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00228-2